Semantics of programming languages

Results: 156



#Item
1

Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Add to Reading List

Source URL: xavierleroy.org

Language: English - Date: 2018-08-01 14:49:25
    2

    PROGRAMMING LANGUAGES LABORATORY! Universidade Federal de Minas Gerais - Department of Computer Science OPERATIONAL SEMANTICS! PROGRAM ANALYSIS

    Add to Reading List

    Source URL: homepages.dcc.ufmg.br

    Language: English - Date: 2017-05-15 15:58:01
      3

      DD2454 Semantics of Programming Languages – Additional Exercises – Dilian Gurov Royal Institute of Technology – KTH e–mail:

      Add to Reading List

      Source URL: www.csc.kth.se

      Language: English
        4

        P Lecture Notes on Semantics of Programming Languages for Part IB of the Computer Science Tripos

        Add to Reading List

        Source URL: www.inf.ed.ac.uk

        Language: English - Date: 2009-01-06 12:30:42
          5

          An application of computable distributions to the semantics of probabilistic programming languages Daniel Huang1 and Greg Morrisett2 1

          Add to Reading List

          Source URL: danehuang.github.io

          Language: English - Date: 2017-05-24 19:52:40
            6

            Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2015-03-22 12:39:32
              7

              Concepts of Programming Languages – Recitation 2: Natural Operational Semantics Oded Padon Reference:

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2016-03-17 14:06:02
                8

                Programming Interactivity Requires Both Semantics and Semiotics Joseph C. Osborn, Michael Mateas University of California, Santa Cruz Introduction. Programming languages are generally designed around models of computatio

                Add to Reading List

                Source URL: conf.researchr.org

                  9

                  Formal Semantics of Programming Languages Mooly Sagiv Reference: Semantics with Applications Chapter 2

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  - Date: 2016-11-12 00:09:04
                    10

                    Concepts of Programming Languages – Recitation 3: (More) Natural Operational Semantics and Structural Operational Semantics Oded Padon

                    Add to Reading List

                    Source URL: www.cs.tau.ac.il

                    - Date: 2016-03-22 14:28:09
                      UPDATE